Category of relations